ma-in-interface(es;X;e) == loc(e)  dom(X)  kind(e)  dom(X(loc(e)).2) 

latex

---

clarification:

ma-in-interface(es;X;e)
== fpf-dom(IdDeq; es-loc(es; e); X)
==  fpf-dom(KindDeq; es-kind(es; e); (XIdDeq(es-loc(es; e)).2)) 

latex

Definitions	p  q, x  dom(f), KindDeq, kind(e), t.2, f(x), IdDeq, loc(e)
FDL editor aliases	ma-in-interface